Assumptions: binary products, self-dual
Conclusions: binary coproducts
Proof: This holds by self-duality.